- finitistisch
- finitary
Deutsch-Englisches Wörterbuch. 2015.
Deutsch-Englisches Wörterbuch. 2015.
Harald Holz — Holz 2007 Harald Holz (* 14. Mai 1930 in Freiburg im Breisgau) ist ein deutscher Philosoph. Er entwickelte die Transzendentalphilosophie fort, holte sie aus der Engführung des Neukantianismus heraus. Im Anschluss an eine Neuinterpretation der… … Deutsch Wikipedia
Beweisbarkeit — Die Beweistheorie ist ein Teilgebiet der mathematischen Logik, das Beweise als formale mathematische Objekte behandelt. Dies ermöglicht ihre Analyse mit mathematischen Techniken. Beweise werden üblicherweise als induktiv definierte… … Deutsch Wikipedia